A process algebra based framework for promise theory

نویسندگان

  • Jan A. Bergstra
  • Inge Bethke
  • Mark Burgess
چکیده

We present a process algebra based approach to formalize the interactions of computing devices such as the representation of policies and the resolution of conflicts. As an example we specify how promises may be used in coming to an agreement regarding a simple though practical transportation problem.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Nexus among Resource Based Theory, Marketing Strategy, and Firm Performance: An Integrated Framework

The purpose of this article is to present the link among resource based theory, marketing strategy, and firms’ performance in order to propose integrative framework showing how the three constructs are linked. It is organized based on a review of academic literature on resource based theory and marketing strategy chronicled in major marketing journals up to December 2015. Besides, the paper ref...

متن کامل

Developing a Framework for a Program Theory-Based Approach to Evaluating Policy Processes and Outcomes: Health in All Policies in South Australia

Background The importance of evaluating policy processes to achieve health equity is well recognised but such evaluation encounters methodological, theoretical and political challenges. This paper describes how a program theorybased evaluation framework can be developed and tested, using the example of an evaluation of the South Australian Health in All Policies (HiAP) initiative.   Methods A f...

متن کامل

POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES

The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...

متن کامل

Fractal Population Ecology Theory

Abstract Purpose - The aim of this paper is to describe the population ecology theory through fractal thinking, an emergent human operating system that is creative, adaptive, healthy, and evolutionary; furthermore, a parallel is drawn between the population ecology model and the fractal structure. Top-down hierarchies are typically characterized by command and control systems of the authority t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/0707.0744  شماره 

صفحات  -

تاریخ انتشار 2007